Abstract data type
Definition
An abstract data type (ADT) is characterized
by the following properties:
n 1. It exports a type.
n 2. It exports a set of operations. This set is called
interface.
n 3. Operations of the interface are the one and only
access mechanism to the type's data structure.
n 4. Axioms and preconditions define the application
domain of the type.